Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly

The phonon theory of liquid thermodynamics

Heat capacity of matter is considered to be its most important property because it holds information about system's degrees of freedom as well as the regime in which the system operates, classical or quantum. Heat capacity is well understood in gases and solids but not in the third state of matter, liquids, and is not discussed in physics textbooks as a result. The perceived difficulty is that interactions in a liquid are both strong and system-specific, implying that the energy strongly depends on the liquid type and that, therefore, liquid energy can not be calculated in general form. Here, we develop a phonon theory of liquids where this problem is avoided. The theory covers both classical and quantum regimes. We demonstrate good agreement of calculated and experimental heat capacity of 21 liquids, including noble, metallic, molecular and hydrogen-bonded network liquids in a wide range of temperature and pressure.Comment: 7 pages, 4 figure

Family composition and age at menarche: findings from the international Health Behaviour in School-Aged Children Study

This research was funded by The University of St Andrews and NHS Health Scotland.Background Early menarche has been associated with father absence, stepfather presence and adverse health consequences in later life. This article assesses the association of different family compositions with the age at menarche. Pathways are explored which may explain any association between family characteristics and pubertal timing. Methods Cross-sectional, international data on the age at menarche, family structure and covariates (age, psychosomatic complaints, media consumption, physical activity) were collected from the 2009–2010 Health Behaviour in School-aged Children (HBSC) survey. The sample focuses on 15-year old girls comprising 36,175 individuals across 40 countries in Europe and North America (N = 21,075 for age at menarche). The study examined the association of different family characteristics with age at menarche. Regression and path analyses were applied incorporating multilevel techniques to adjust for the nested nature of data within countries. Results Living with mother (Cohen’s d = .12), father (d = .08), brothers (d = .04) and sisters (d = .06) are independently associated with later age at menarche. Living in a foster home (d = −.16), with ‘someone else’ (d = −.11), stepmother (d = −.10) or stepfather (d = −.06) was associated with earlier menarche. Path models show that up to 89% of these effects can be explained through lifestyle and psychological variables. Conclusions Earlier menarche is reported amongst those with living conditions other than a family consisting of two biological parents. This can partly be explained by girls’ higher Body Mass Index in these families which is a biological determinant of early menarche. Lower physical activity and elevated psychosomatic complaints were also more often found in girls in these family environments.Publisher PDFPeer reviewe

From the Shell-shocked Soldier to the Nervous Child: Psychoanalysis in the Aftermath of the First World War

This article investigates the development of child analysis in Britain between the wars, as the anxious child succeeded the shell-shocked soldier as a focus of psychoanalytic enquiry. Historians of psychoanalysis tend to regard the Second World War as a key moment in the discovery of the ‘war within’ the child, but it was in the aftermath of the First War that the warring psyche of the child was observed and elaborated. The personal experience of war and its aftermath, and the attention given to regression in the treatment of war neuroses, encouraged Melanie Klein, Anna Freud and others to turn their attention to children. At the same time, however, the impact of the First World War as a traumatic event, with inter-generational consequences, remained largely unaccounted for within psychoanalysis as Klein and others focused on the child's riven internal world

Michael Gove’s war on professional historical expertise : conservative curriculum reform, extreme Whig history and the place of imperial heroes in modern multicultural Britain

Six years of continuously baiting his opponents within the history profession eventually amounted to little where it mattered most. UK Secretary of State for Education, Michael Gove, finally backtracked in 2013 on his plans to impose a curriculum for English schools based on a linear chronology of the achievements of British national heroes. His ‘history as celebration’ curriculum was designed to instil pride amongst students in a supposedly shared national past, but would merely have accentuated how many students in modern multicultural Britain fail to recognise themselves in what is taught in school history lessons. Now that the dust has settled on Gove’s tenure as Secretary of State, the time is right for retrospective analysis of how his plans for the history curriculum made it quite so far. How did he construct an ‘ideological’ conception of expertise which allowed him to go toe-to-toe for so long with the ‘professional’ expertise of academic historians and history teachers? What does the content of this ideological expertise tell us about the politics of race within Conservative Party curriculum reforms? This article answers these questions to characterise Gove as a ‘whig historian’ of a wilfully extreme nature in his attachment to imperial heroes as the best way to teach national history in modern multicultural Britain

Childhood trauma, life-time self-harm, and suicidal behaviour and ideation are associated with polygenic scores for autism

Abstract: Autistic individuals experience significantly elevated rates of childhood trauma, self-harm and suicidal behaviour and ideation (SSBI). Is this purely the result of negative environmental experiences, or does this interact with genetic predisposition? In this study we investigated if a genetic predisposition for autism is associated with childhood trauma using polygenic scores (PGS) and genetic correlations in the UK Biobank (105,222 < N < 105,638), and tested potential mediators and moderators of the association between autism, childhood trauma and SSBI. Autism PGS were significantly associated with childhood trauma (max R2 = 0.096%, P < 2 × 10−16), self-harm ideation (max R2 = 0.108%, P < 2 × 10−16), and self-harm (max R2 = 0.13%, P < 2 × 10−16). Supporting this, we identified significant genetic correlations between autism and childhood trauma (rg = 0.36 ± 0.05, P = 8.13 × 10−11), self-harm ideation (rg = 0.49 ± 0.05, P = 4.17 × 10−21) and self-harm (rg = 0.48 ± 0.05, P = 4.58 × 10−21), and an over-transmission of PGS for the two SSBI phenotypes from parents to autistic probands. Male sex negatively moderated the effect of autism PGS on childhood trauma (β = −0.023 ± 0.005, P = 6.74 × 10−5). Further, childhood trauma positively moderated the effect of autism PGS on self-harm score (β = 8.37 × 10−3 ± 2.76 × 10−3, P = 2.42 × 10−3) and self-harm ideation (β = 7.47 × 10−3 ± 2.76 × 10−3, P = 6.71 × 10−3). Finally, depressive symptoms, quality and frequency of social interactions, and educational attainment were significant mediators of the effect of autism PGS on SSBI, with the proportion of effect mediated ranging from 0.23 (95% CI: 0.09–0.32) for depression to 0.008 (95% CI: 0.004–0.01) for educational attainment. Our findings identify that a genetic predisposition for autism is associated with adverse life-time outcomes, which represent complex gene-environment interactions, and prioritizes potential mediators and moderators of this shared biology. It is important to identify sources of trauma for autistic individuals in order to reduce their occurrence and impact